bitkeeper revision 1.1159.187.47 (41ada9dbh_spg2MhqENrhyi6SP00Kg)
authorkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Wed, 1 Dec 2004 11:24:11 +0000 (11:24 +0000)
committerkaf24@scramble.cl.cam.ac.uk <kaf24@scramble.cl.cam.ac.uk>
Wed, 1 Dec 2004 11:24:11 +0000 (11:24 +0000)
Enable some more kernel debugging. Remember to turn off before
pushing to the stable repository!

linux-2.6.9-xen-sparse/arch/xen/configs/xen0_defconfig
linux-2.6.9-xen-sparse/arch/xen/configs/xenU_defconfig

index 7d7cd9b99b4847f6e932739f50989cf99d9e422c..ab0aedf8c106af0bd09957693b1d486d8d0fffda 100644 (file)
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
 # Linux kernel version: 2.6.9-xen0
-# Sun Nov 14 16:55:05 2004
+# Wed Dec  1 09:22:49 2004
 #
 CONFIG_XEN=y
 CONFIG_ARCH_XEN=y
@@ -151,10 +151,10 @@ CONFIG_DEBUG_KERNEL=y
 CONFIG_EARLY_PRINTK=y
 # CONFIG_DEBUG_STACKOVERFLOW is not set
 # CONFIG_DEBUG_STACK_USAGE is not set
-# CONFIG_DEBUG_SLAB is not set
+CONFIG_DEBUG_SLAB=y
 CONFIG_MAGIC_SYSRQ=y
 # CONFIG_DEBUG_SPINLOCK is not set
-# CONFIG_DEBUG_PAGEALLOC is not set
+CONFIG_DEBUG_PAGEALLOC=y
 # CONFIG_DEBUG_INFO is not set
 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
 # CONFIG_FRAME_POINTER is not set
index d7b98c3b9d59d5ed5c500b575917a601c5811ceb..2ff55781d0084c04c754f335b641b0d9d8049890 100644 (file)
@@ -1,7 +1,7 @@
 #
 # Automatically generated make config: don't edit
-# Linux kernel version: 2.6.9-xen0
-# Sun Oct 31 21:32:23 2004
+# Linux kernel version: 2.6.9-xenU
+# Wed Dec  1 09:22:09 2004
 #
 CONFIG_XEN=y
 CONFIG_ARCH_XEN=y
@@ -45,6 +45,7 @@ CONFIG_HOTPLUG=y
 # CONFIG_IKCONFIG is not set
 # CONFIG_EMBEDDED is not set
 CONFIG_KALLSYMS=y
+# CONFIG_KALLSYMS_ALL is not set
 # CONFIG_KALLSYMS_EXTRA_PASS is not set
 CONFIG_FUTEX=y
 CONFIG_EPOLL=y
@@ -114,8 +115,15 @@ CONFIG_HAVE_DEC_LOCK=y
 #
 # Kernel hacking
 #
-# CONFIG_DEBUG_KERNEL is not set
+CONFIG_DEBUG_KERNEL=y
 CONFIG_EARLY_PRINTK=y
+# CONFIG_DEBUG_STACKOVERFLOW is not set
+# CONFIG_DEBUG_STACK_USAGE is not set
+CONFIG_DEBUG_SLAB=y
+# CONFIG_MAGIC_SYSRQ is not set
+# CONFIG_DEBUG_SPINLOCK is not set
+CONFIG_DEBUG_PAGEALLOC=y
+# CONFIG_DEBUG_INFO is not set
 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
 # CONFIG_FRAME_POINTER is not set
 # CONFIG_4KSTACKS is not set
@@ -140,6 +148,7 @@ CONFIG_BINFMT_ELF=y
 CONFIG_STANDALONE=y
 CONFIG_PREVENT_FIRMWARE_BUILD=y
 # CONFIG_FW_LOADER is not set
+# CONFIG_DEBUG_DRIVER is not set
 
 #
 # Block devices